Dutch microprogrammering: la traduction en autres langues